61. Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings
پدیدآورنده : Davide Frey [aut]; Michel Raynal [aut]; Saswati Sarkar [aut]; Rudrapatna K. Shyamasundar [aut]; Prasun Sinha [aut]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer. Automation,computerkunde,software engineering
رده :
QA76
.
9
.
D5
D385
2013
62. Distributed Systems :
پدیدآورنده : by Albert Fleischmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
63. Electronic Systems Effectiveness and Life Cycle Costing
پدیدآورنده : edited by J.K. Skwirzynski.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer system performance.,Software engineering.
رده :
TK7870
.
E358
1983
64. Engineering optimization :
پدیدآورنده : by R. Russell Rhinehart.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering-- Mathematical models.,Mathematical optimization.,Engineering-- Mathematical models.,Mathematical optimization.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA342
65. Enterprise DevOps framework :
پدیدآورنده : Shamayel M. Farooqui.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development.,Computer system conversion.,Information technology-- Management.,Operating systems (Computers),Computer software-- Development.,Computer system conversion.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Management.,Network hardware.,Operating systems (Computers)
رده :
QA76
.
9
.
C68
66. Fault Prediction Modeling for the Prediction of Number of Software Faults /
پدیدآورنده : Santosh Singh Rathore and Sandeep Kumar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,Computer software-- Evaluation.,Computer software-- Reliability.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
رده :
QA76
.
76
.
R44
67. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
68. Formal methods for industrial critical systems :
پدیدآورنده : Darren Cofer, Alessandro Fantechi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
رده :
QA76
.
9
.
F67
I594
2008eb
69. Formal methods for industrial critical systems :
پدیدآورنده : Gwen Salaün, Bernhard Schätz (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I58
2011
70. Formal methods for industrial critical systems
پدیدآورنده : Mariëlle Stoelinga, Ralf Pinger (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I594
2012eb
71. Hardware-Software Co-Design of Embedded Systems
پدیدآورنده : by Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
72. ICICCT 2019 -- System reliability, quality control, safety, maintenance and management :
پدیدآورنده : editors, Vinit Kumar Gunjan, Vicente Garcia Diaz, Manuel Cardona, Vijender Kumar Solanki and K.V.N. Sunitha.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer networks.,Software engineering.
رده :
TK5105
.
5
73. IMPROVE -- innovative modelling approaches for production systems to raise validatable efficiency :
پدیدآورنده : Oliver Niggemann, Peter Schüller, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Industrial efficiency-- Computer simulation.,Production management.,Production management.
رده :
T58
.
4
74. Industrial Application of Electromagnetic Computer Codes
پدیدآورنده : edited by Yves R. Crutzen, Giorgio Molinari, Guglielmo Rubinacci.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer science.,Electronic data processing.
75. Industrial perspectives of safety-critical systems :
پدیدآورنده : Felix Redmill and Tom Anderson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
76. Industrial perspectives of safety-critical systems :
پدیدآورنده : Felix Redmill and Tom Anderson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control -- Reliability -- Congresses.,Computer software -- Reliability -- Congresses.,Industrial safety -- Congresses.
رده :
T55
.
A1
F455
1998
77. Information system transformation :
پدیدآورنده : William M. Ulrich and Philip H. Newcomb
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business enterprises-- Computer networks-- Management, Case studies,Computer architecture, Case studies,Management information systems, Case studies,Software reengineering, Case studies
رده :
T58
.
6
.
U47
2010
78. Integrated Network Management V :
پدیدآورنده : edited by Aurel A. Lazar, Roberto Saracco, Rolf Stadler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.
رده :
TK5105
.
5
E358
1997
79. Introducing Windows Server 2008 /
پدیدآورنده : Mitch Tulloch with the Microsoft Windows Server Team.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft .NET Framework.,Microsoft Windows server.,Microsoft .NET Framework.,Microsoft Windows server (Computer software),Microsoft Windows server.,Microsoft Windows server.,Operating systems (Computers),Computer operating systems.,Computer Science.,COMPUTERS-- Operating Systems-- General.,Engineering & Applied Sciences.,Microsoft .NET.,Operating systems (Computers),Operating systems (Computers)
رده :
QA76
.
76
.
O63
T85
2007eb
80. Life cycle costing for engineers /
پدیدآورنده : author, editor, B.S. Dhillon.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Engineering economy.,Life cycle costing.,Product life cycle.,BUSINESS & ECONOMICS-- Insurance-- Risk Assessment & Management.,Engineering economy.,Life cycle costing.,Livscykelanalys.,Product life cycle.
رده :
TA177
.
7
.
D348
2010eb
